#ifndef _REGS_H_
#define _REGS_H_
/*
 *  cpu_driver/regs.h
 *  
 *              CPU Monitor 
 *
 *    Spring Semester.  044800.    Technion.
 *   Copyright (C) 2006  Evgeny Shulman  and Elizabeth Shtrom 
 */


void get_regs ( void * );
void get_gdt_table( void * );
int  get_ldt_table( void * );
void get_idt_table( void * );
void get_tss_table( void * );
void get_pgd_table( void*  );
int  get_pt_table( unsigned long pde , unsigned long ** pt_table );
void get_cpuid(void * cpuid_regs);

#endif /*_REGS_H_*/



